151![Under consideration for publication in Math. Struct. in Comp. Science Formalization of Real Analysis: A Survey of Proof Assistants and Libraries∗ SYLVIE BOLDO CATHERINE LELAY Under consideration for publication in Math. Struct. in Comp. Science Formalization of Real Analysis: A Survey of Proof Assistants and Libraries∗ SYLVIE BOLDO CATHERINE LELAY](https://www.pdfsearch.io/img/524643c460fe15aec7c60d90eed76166.jpg) | Add to Reading ListSource URL: www.lri.frLanguage: English - Date: 2014-12-04 07:10:42
|
---|
152![Fitting’s Embedding of Classical Logic in S4 and Trace Properties in the Computational Model (Extended Abstract) Gergei Bana INRIA Paris, France Fitting’s Embedding of Classical Logic in S4 and Trace Properties in the Computational Model (Extended Abstract) Gergei Bana INRIA Paris, France](https://www.pdfsearch.io/img/b42b5ab0bf544e038f2a92b052f84494.jpg) | Add to Reading ListSource URL: software.imdea.orgLanguage: English - Date: 2014-07-17 09:25:53
|
---|
153![On uniform weak K¨onig’s lemma Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade On uniform weak K¨onig’s lemma Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade](https://www.pdfsearch.io/img/2ff5e004b1340ae2495d25f4380e5b33.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2012-11-16 09:11:16
|
---|
154![Archive for Mathematical Logic manuscript No. (will be inserted by the editor) Philipp Gerhardy · Ulrich Kohlenbach Extracting Herbrand Disjunctions by Archive for Mathematical Logic manuscript No. (will be inserted by the editor) Philipp Gerhardy · Ulrich Kohlenbach Extracting Herbrand Disjunctions by](https://www.pdfsearch.io/img/7566bcab978fa4afdc7acd3e68a51db9.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2012-08-23 06:37:32
|
---|
155![A Tractable First-Order Probabilistic Logic Pedro Domingos and W. Austin Webb Department of Computer Science and Engineering University of Washington Seattle, WA, U.S.A. {pedrod, webb}@cs.washington.edu A Tractable First-Order Probabilistic Logic Pedro Domingos and W. Austin Webb Department of Computer Science and Engineering University of Washington Seattle, WA, U.S.A. {pedrod, webb}@cs.washington.edu](https://www.pdfsearch.io/img/6c1a85cea19804332413914036624c80.jpg) | Add to Reading ListSource URL: homes.cs.washington.eduLanguage: English |
---|
156![École Doctorale de l’École polytechnique I NRIA THÈSE DE DOCTORAT Présentée par École Doctorale de l’École polytechnique I NRIA THÈSE DE DOCTORAT Présentée par](https://www.pdfsearch.io/img/639973b52f32dea41dc6f6f281e62e98.jpg) | Add to Reading ListSource URL: cedeela.frLanguage: English - Date: 2015-10-28 05:35:30
|
---|
157![Applications of Proof Interpretations Philipp Gerhardy PhD Dissertation Applications of Proof Interpretations Philipp Gerhardy PhD Dissertation](https://www.pdfsearch.io/img/a4dc49d8d35f1b90d6f7b8a8774bb139.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2006-09-13 09:52:38
|
---|
158![SUMMER 2016 PHILOSOPHY DEPARTMENT COURSE OFFERINGS Please note: No prerequisites are required for any summer courses. FIRST SUMMER SESSION: PHIL-UA 4; Life and Death; MTWR 1:30-3:05; Andrew Lee SUMMER 2016 PHILOSOPHY DEPARTMENT COURSE OFFERINGS Please note: No prerequisites are required for any summer courses. FIRST SUMMER SESSION: PHIL-UA 4; Life and Death; MTWR 1:30-3:05; Andrew Lee](https://www.pdfsearch.io/img/677e1526978319e35a957e8208119b69.jpg) | Add to Reading ListSource URL: www.nyu.eduLanguage: English - Date: 2016-02-16 23:33:01
|
---|
159![GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation Derek Dreyer Ar tifact GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation Derek Dreyer Ar tifact](https://www.pdfsearch.io/img/f60b9f3b329be96b8c11c8dac5c2e5d0.jpg) | Add to Reading ListSource URL: plv.mpi-sws.orgLanguage: English - Date: 2014-08-18 18:05:40
|
---|
160![BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the No-Counterexample Interpretation On the No-Counterexample Interpretation BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the No-Counterexample Interpretation On the No-Counterexample Interpretation](https://www.pdfsearch.io/img/b855f5ef67f554322921c548909e6304.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2012-11-16 09:12:20
|
---|